Biblioteca da Universidade do Minho catalog › Results of search for '519.6' with limit(s): 'title-series:Cambridge tracts in theoretical computer science'

Your search returned 18 results.

		Action semantics / Peter D. Mosses Monografia Publication Cambridge : Cambridge University Press, 1992 Description XX, 372 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Term rewriting systems / Terese Monografia Publication Cambridge : Cambridge University Press, cop. 2003 Description XXII, 884 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek Monografia Publication Cambridge : Cambridge University Press, 1995 Description XIII, 354 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons Monografia Publication Cambridge : Cambridge University Press, cop. 2000 Description XXV, 384 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Mathematical theory of domains / Viggo Stoltenberg-Hansen Monografia Publication Cambridge : Cambridge University Press, 1994 Description XII, 349 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Topology via logic / Steven Vickers Monografia Publication Cambridge : Cambridge University Press, cop. 1989 Description 200 p. : il. ; 26 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Formal specification and design / L. M. G. Feijs, H. B. M. Jonkers Monografia Publication Cambridge : Cambridge University Press, 1992 Description XVI, 335 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth... [et al.] Monografia Publication Cambridge : Cambridge University Press, 1998 Description XI, 423 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten Monografia Publication Cambridge : Cambridge University Press, 2012 Description XIII, 326 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Checked out (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Win H. Hesselink Monografia Publication Cambridge : Cambridge University Press, 1992 Description XII, 223 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Higher order logic and hardware verification / T. Melham Monografia Publication Cambridge : Cambridge University Press, 1993 Description XIII, 165 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Algebraic specification of communication protocols / ed. S. Mauw, G. J. Veltink Monografia Publication Cambridge : Cambridge University Press, 1993 Description XI, 197 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Algorithmic information theory / Gregory J. Chaitin Monografia Publication Cambridge : Cambridge University Press, imp. 1990 Description X, 178 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Logic and computation / Lawrence C. Paulson Monografia Publication Cambridge : Cambridge University Press, 1990 Description XIII, 302 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Applications of process algebra / ed. J. C. M. Baeten Monografia Publication Cambridge : Cambridge University Press, 1990 Description IX, 317 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		The uncertain reasoner's companion : a mathematical perspective / J. B. Paris Monografia Publication Cambridge : Cambridge University Press, 1994 Description X, 212 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		The logic of distributed systems / Jon Barwise, Jerry Seligman Monografia Publication Cambridge : Cambridge University Press, 1997 Description XV, 273 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Process algebra : equational theories of communicating processes / J. C. M. Baeten, T. Basten, M. A. Reniers Monografia Publication Cambridge : Cambridge University Press, 2010 Description XVI, 460 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)